Alonzo Church, §5 of: A Formulation of the Simple Theory of Types, The Journal of Symbolic Logic 5 2 (1940) 56-68 [doi:10.2307/2266170]
Alonzo Church: Schröder’s Anticipation of the Simple Theory of Types, Erkenntnis 10 (1976) 407-411 [doi:10.1007/BF00176047]
Last revised on September 13, 2024 at 15:37:53. See the history of this page for a list of all contributions to it.